perm filename FIRST.NOT[F78,JMC]1 blob sn#404667 filedate 1978-12-20 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Revisions of Representing Recursive Programs in First Order Logic
C00003 ENDMK
CāŠ—;
Revisions of Representing Recursive Programs in First Order Logic

1. Corky as co-author

2. Alternate complete recursive program

3. improve treatment of non-recursive representation

4. reference POPL paper

5. emphasize verification technique rather than theorems